def bit(addr, bit):
     print(hex((addr & 0xF0000000) + 0x2000000 + ((addr & 0xFFFFF) << 5) + (bit << 2)))
     
bit(0x40013008, 0)
